[next] [prev] [prev-tail] [tail] [up]

Integrals 301 to 400

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 301

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

221 221 176 179 217 174 0 672 277

N.S.

1 1.00 0.80 0.81 0.98 0.79 0.00 3.04 1.25

time (sec)

N/A 0.525 2.536 3.702 0.254 0.299 0.000 0.353 14.926

Problem 302

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

334 334 244 277 474 327 0 1186 709

N.S.

1 1.00 0.73 0.83 1.42 0.98 0.00 3.55 2.12

time (sec)

N/A 0.728 2.181 7.384 0.223 0.293 0.000 0.404 18.351

Problem 303

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

250 250 198 237 379 281 0 850 555

N.S.

1 1.00 0.79 0.95 1.52 1.12 0.00 3.40 2.22

time (sec)

N/A 0.550 3.365 6.025 0.222 0.290 0.000 0.384 18.026

Problem 304

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

200 200 160 206 303 250 0 635 1969

N.S.

1 1.00 0.80 1.03 1.52 1.25 0.00 3.18 9.84

time (sec)

N/A 0.347 0.782 5.308 0.234 0.295 0.000 0.398 17.311

Problem 305

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

195 195 469 209 245 219 0 387 636

N.S.

1 1.00 2.41 1.07 1.26 1.12 0.00 1.98 3.26

time (sec)

N/A 0.387 8.144 3.903 0.261 0.298 0.000 0.370 16.744

Problem 306

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

209 209 310 187 209 202 0 528 330

N.S.

1 1.00 1.48 0.89 1.00 0.97 0.00 2.53 1.58

time (sec)

N/A 0.478 3.628 2.750 0.220 0.305 0.000 0.359 16.763

Problem 307

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

198 198 257 189 197 196 0 371 2523

N.S.

1 1.00 1.30 0.95 0.99 0.99 0.00 1.87 12.74

time (sec)

N/A 0.630 2.856 3.365 0.237 0.291 0.000 0.381 16.433

Problem 308

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

216 216 210 189 215 183 0 603 369

N.S.

1 1.00 0.97 0.88 1.00 0.85 0.00 2.79 1.71

time (sec)

N/A 0.622 2.092 2.809 0.216 0.290 0.000 0.360 15.452

Problem 309

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

258 258 263 201 246 197 0 791 307

N.S.

1 1.00 1.02 0.78 0.95 0.76 0.00 3.07 1.19

time (sec)

N/A 0.731 1.788 3.644 0.224 0.292 0.000 0.348 15.222

Problem 310

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

309 309 333 247 307 243 0 1127 403

N.S.

1 1.00 1.08 0.80 0.99 0.79 0.00 3.65 1.30

time (sec)

N/A 0.875 3.318 4.764 0.225 0.292 0.000 0.365 15.554

Problem 311

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

187 187 422 335 0 743 0 412 4667

N.S.

1 1.00 2.26 1.79 0.00 3.97 0.00 2.20 24.96

time (sec)

N/A 0.752 2.342 1.171 0.000 0.739 0.000 0.349 19.279

Problem 312

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

143 143 300 229 0 609 0 269 4047

N.S.

1 1.00 2.10 1.60 0.00 4.26 0.00 1.88 28.30

time (sec)

N/A 0.433 2.071 1.060 0.000 2.875 0.000 0.369 18.536

Problem 313

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 98 130 144 0 472 0 176 719

N.S.

1 1.00 1.33 1.47 0.00 4.82 0.00 1.80 7.34

time (sec)

N/A 0.260 0.943 0.877 0.000 0.370 0.000 0.362 15.303

Problem 314

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 76 112 92 0 316 0 127 573

N.S.

1 1.00 1.47 1.21 0.00 4.16 0.00 1.67 7.54

time (sec)

N/A 0.160 0.439 0.873 0.000 0.656 0.000 0.334 15.382

Problem 315

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 67 68 73 0 250 0 274 573

N.S.

1 1.00 1.01 1.09 0.00 3.73 0.00 4.09 8.55

time (sec)

N/A 0.123 0.168 0.802 0.000 0.301 0.000 0.328 15.466

Problem 316

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

90 90 85 111 0 328 0 141 740

N.S.

1 1.00 0.94 1.23 0.00 3.64 0.00 1.57 8.22

time (sec)

N/A 0.185 0.677 1.065 0.000 0.297 0.000 0.323 15.987

Problem 317

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

134 134 121 168 0 427 0 227 3740

N.S.

1 1.00 0.90 1.25 0.00 3.19 0.00 1.69 27.91

time (sec)

N/A 0.481 0.805 1.057 0.000 0.292 0.000 0.329 18.884

Problem 318

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

178 178 152 242 0 547 0 360 4572

N.S.

1 1.00 0.85 1.36 0.00 3.07 0.00 2.02 25.69

time (sec)

N/A 0.716 0.997 1.283 0.000 0.317 0.000 0.337 20.083

Problem 319

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

240 240 202 381 0 685 0 642 5903

N.S.

1 1.00 0.84 1.59 0.00 2.85 0.00 2.68 24.60

time (sec)

N/A 1.040 1.130 1.265 0.000 0.352 0.000 0.330 21.663

Problem 320

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

272 272 438 330 0 1343 0 384 6678

N.S.

1 1.00 1.61 1.21 0.00 4.94 0.00 1.41 24.55

time (sec)

N/A 0.958 7.045 1.533 0.000 12.107 0.000 0.346 24.244

Problem 321

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

164 164 240 245 0 1114 0 404 5436

N.S.

1 1.00 1.46 1.49 0.00 6.79 0.00 2.46 33.15

time (sec)

N/A 0.647 2.085 1.174 0.000 7.588 0.000 0.354 22.961

Problem 322

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

131 131 191 185 0 694 0 231 3751

N.S.

1 1.00 1.46 1.41 0.00 5.30 0.00 1.76 28.63

time (sec)

N/A 0.325 0.928 0.930 0.000 2.361 0.000 0.342 22.003

Problem 323

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 100 97 132 0 389 0 172 106

N.S.

1 1.00 0.97 1.32 0.00 3.89 0.00 1.72 1.06

time (sec)

N/A 0.162 0.425 0.799 0.000 0.308 0.000 0.332 14.715

Problem 324

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

124 124 155 168 0 561 0 201 3763

N.S.

1 1.00 1.25 1.35 0.00 4.52 0.00 1.62 30.35

time (sec)

N/A 0.238 1.041 0.814 0.000 0.337 0.000 0.313 22.302

Problem 325

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

180 180 221 213 0 788 0 1107 3264

N.S.

1 1.00 1.23 1.18 0.00 4.38 0.00 6.15 18.13

time (sec)

N/A 0.634 2.259 1.117 0.000 0.365 0.000 0.442 19.673

Problem 326

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

261 261 184 270 0 970 0 340 6731

N.S.

1 1.00 0.70 1.03 0.00 3.72 0.00 1.30 25.79

time (sec)

N/A 0.982 1.666 1.428 0.000 0.381 0.000 0.328 23.831

Problem 327

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

346 346 224 346 0 1167 0 473 7763

N.S.

1 1.00 0.65 1.00 0.00 3.37 0.00 1.37 22.44

time (sec)

N/A 1.392 2.181 1.454 0.000 0.398 0.000 0.341 25.592

Problem 328

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

407 407 507 464 0 2444 0 1391 10533

N.S.

1 1.00 1.25 1.14 0.00 6.00 0.00 3.42 25.88

time (sec)

N/A 2.120 3.049 2.076 0.000 42.647 0.000 0.443 27.292

Problem 329

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

289 289 418 380 0 2111 0 581 9286

N.S.

1 1.00 1.45 1.31 0.00 7.30 0.00 2.01 32.13

time (sec)

N/A 1.528 7.038 1.974 0.000 29.331 0.000 0.404 27.250

Problem 330

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

220 220 270 305 0 1419 0 486 6899

N.S.

1 1.00 1.23 1.39 0.00 6.45 0.00 2.21 31.36

time (sec)

N/A 0.776 1.653 1.441 0.000 10.503 0.000 0.406 23.968

Problem 331

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

180 180 157 238 0 750 0 400 251

N.S.

1 1.00 0.87 1.32 0.00 4.17 0.00 2.22 1.39

time (sec)

N/A 0.393 0.694 1.089 0.000 0.328 0.000 0.369 18.163

Problem 332

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

164 164 172 236 0 752 0 399 251

N.S.

1 1.00 1.05 1.44 0.00 4.59 0.00 2.43 1.53

time (sec)

N/A 0.326 1.135 0.856 0.000 0.318 0.000 0.361 17.551

Problem 333

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

205 205 267 287 0 1152 0 457 6909

N.S.

1 1.00 1.30 1.40 0.00 5.62 0.00 2.23 33.70

time (sec)

N/A 0.614 2.466 1.170 0.000 0.349 0.000 0.390 24.176

Problem 334

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

290 290 306 347 0 1568 0 546 5530

N.S.

1 1.00 1.06 1.20 0.00 5.41 0.00 1.88 19.07

time (sec)

N/A 1.639 2.776 1.491 0.000 0.380 0.000 0.377 22.677

Problem 335

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

393 393 734 403 0 1811 0 2700 10586

N.S.

1 1.00 1.87 1.03 0.00 4.61 0.00 6.87 26.94

time (sec)

N/A 2.108 3.758 1.997 0.000 0.440 0.000 0.645 27.624

Problem 336

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

418 418 548 591 0 3434 0 1005 13092

N.S.

1 1.00 1.31 1.41 0.00 8.22 0.00 2.40 31.32

time (sec)

N/A 5.604 4.106 2.076 0.000 76.661 0.000 0.413 34.952

Problem 337

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

310 310 369 482 0 2278 0 844 9713

N.S.

1 1.00 1.19 1.55 0.00 7.35 0.00 2.72 31.33

time (sec)

N/A 1.505 1.916 1.978 0.000 27.998 0.000 0.396 27.404

Problem 338

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

274 274 226 375 0 1230 0 693 439

N.S.

1 1.00 0.82 1.37 0.00 4.49 0.00 2.53 1.60

time (sec)

N/A 0.768 1.838 1.358 0.000 0.374 0.000 0.373 19.601

Problem 339

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

263 263 252 388 0 1242 0 726 451

N.S.

1 1.00 0.96 1.48 0.00 4.72 0.00 2.76 1.71

time (sec)

N/A 0.662 1.532 1.138 0.000 0.354 0.000 0.379 19.232

Problem 340

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

237 237 404 376 0 1238 0 693 439

N.S.

1 1.00 1.70 1.59 0.00 5.22 0.00 2.92 1.85

time (sec)

N/A 0.577 2.429 1.270 0.000 0.369 0.000 0.380 19.245

Problem 341

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

292 292 769 464 0 1867 0 814 9721

N.S.

1 1.00 2.63 1.59 0.00 6.39 0.00 2.79 33.29

time (sec)

N/A 1.199 4.721 1.119 0.000 0.425 0.000 0.396 27.243

Problem 342

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

411 411 1205 558 0 2560 0 966 7863

N.S.

1 1.00 2.93 1.36 0.00 6.23 0.00 2.35 19.13

time (sec)

N/A 5.743 6.635 2.037 0.000 0.526 0.000 0.398 27.596

Problem 343

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

538 538 1452 615 0 2890 0 1052 14438

N.S.

1 1.00 2.70 1.14 0.00 5.37 0.00 1.96 26.84

time (sec)

N/A 7.207 8.090 2.836 0.000 0.565 0.000 0.411 28.977

Problem 344

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 61 61 76 0 197 0 187 91

N.S.

1 1.00 1.00 1.25 0.00 3.23 0.00 3.07 1.49

time (sec)

N/A 0.144 0.190 0.781 0.000 0.285 0.000 0.313 15.215

Problem 345

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

6 6 6 7 0 6 3 13 6

N.S.

1 1.00 1.00 1.17 0.00 1.00 0.50 2.17 1.00

time (sec)

N/A 0.002 0.002 0.357 0.000 0.250 2.827 0.300 14.477

Problem 346

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

86 86 97 120 0 279 0 139 444

N.S.

1 1.00 1.13 1.40 0.00 3.24 0.00 1.62 5.16

time (sec)

N/A 0.225 0.868 0.819 0.000 0.281 0.000 0.314 14.982

Problem 347

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 87 39 37 80 84 0 58 26

N.S.

1 1.00 0.45 0.43 0.92 0.97 0.00 0.67 0.30

time (sec)

N/A 0.085 0.260 0.814 0.284 0.283 0.000 0.321 14.878

Problem 348

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

485 485 3734 5582 0 0 0 0 0

N.S.

1 1.00 7.70 11.51 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.593 23.824 38.595 0.000 0.000 0.000 0.000 0.000

Problem 349

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

397 397 530 4327 0 0 0 0 0

N.S.

1 1.00 1.34 10.90 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.053 17.687 34.717 0.000 0.000 0.000 0.000 0.000

Problem 350

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

314 314 434 3107 0 0 0 0 0

N.S.

1 1.00 1.38 9.89 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.667 15.280 26.635 0.000 0.000 0.000 0.000 0.000

Problem 351

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

256 256 408 2194 0 0 0 0 0

N.S.

1 1.00 1.59 8.57 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.386 12.401 24.402 0.000 0.000 0.000 0.000 0.000

Problem 352

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

320 320 713 1249 0 0 0 0 0

N.S.

1 1.00 2.23 3.90 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.335 16.641 20.451 0.000 0.000 0.000 0.000 0.000

Problem 353

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

344 344 843 1855 0 0 0 0 0

N.S.

1 1.00 2.45 5.39 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.467 14.741 10.466 0.000 0.000 0.000 0.000 0.000

Problem 354

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

429 429 1149 2768 0 0 0 0 0

N.S.

1 1.00 2.68 6.45 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.830 17.813 6.505 0.000 0.000 0.000 0.000 0.000

Problem 355

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

509 509 1548 4001 0 0 0 0 0

N.S.

1 1.00 3.04 7.86 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.228 19.097 9.222 0.000 0.000 0.000 0.000 0.000

Problem 356

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

475 475 3766 5582 0 0 0 0 0

N.S.

1 1.00 7.93 11.75 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.364 31.438 39.861 0.000 0.000 0.000 0.000 0.000

Problem 357

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

388 388 3342 4321 0 0 0 0 0

N.S.

1 1.00 8.61 11.14 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.913 28.292 28.256 0.000 0.000 0.000 0.000 0.000

Problem 358

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

312 312 502 3360 0 0 0 0 0

N.S.

1 1.00 1.61 10.77 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.617 18.147 29.090 0.000 0.000 0.000 0.000 0.000

Problem 359

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

381 381 6063 2984 0 0 0 0 0

N.S.

1 1.00 15.91 7.83 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.523 24.212 25.076 0.000 0.000 0.000 0.000 0.000

Problem 360

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

361 361 971 2955 0 0 0 0 0

N.S.

1 1.00 2.69 8.19 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.497 16.768 12.772 0.000 0.000 0.000 0.000 0.000

Problem 361

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

428 428 1197 3286 0 0 0 0 0

N.S.

1 1.00 2.80 7.68 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.903 20.074 9.975 0.000 0.000 0.000 0.000 0.000

Problem 362

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

520 520 1535 4264 0 0 0 0 0

N.S.

1 1.00 2.95 8.20 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.481 16.935 9.053 0.000 0.000 0.000 0.000 0.000

Problem 363

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-1) F F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

566 566 4227 6884 0 0 0 0 0

N.S.

1 1.00 7.47 12.16 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.934 26.403 119.069 0.000 0.000 0.000 0.000 0.000

Problem 364

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-1) F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

469 469 3781 5584 0 0 0 0 0

N.S.

1 1.00 8.06 11.91 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.322 24.953 63.299 0.000 0.000 0.000 0.000 0.000

Problem 365

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

384 384 3431 4582 0 0 0 0 0

N.S.

1 1.00 8.93 11.93 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.936 33.256 40.642 0.000 0.000 0.000 0.000 0.000

Problem 366

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

442 442 7138 4161 0 0 0 0 0

N.S.

1 1.00 16.15 9.41 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.756 27.901 32.269 0.000 0.000 0.000 0.000 0.000

Problem 367

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

433 433 7745 4119 0 0 0 0 0

N.S.

1 1.00 17.89 9.51 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.784 29.279 28.083 0.000 0.000 0.000 0.000 0.000

Problem 368

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

450 450 1326 4409 0 0 0 0 0

N.S.

1 1.00 2.95 9.80 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.899 22.201 68.266 0.000 0.000 0.000 0.000 0.000

Problem 369

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

518 518 1551 4781 0 0 0 0 0

N.S.

1 1.00 2.99 9.23 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.493 23.623 209.773 0.000 0.000 0.000 0.000 0.000

Problem 370

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

617 617 5172 5805 0 0 0 0 0

N.S.

1 1.00 8.38 9.41 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.939 28.201 644.250 0.000 0.000 0.000 0.000 0.000

Problem 371

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

329 329 3000 3113 0 0 0 0 0

N.S.

1 1.00 9.12 9.46 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.684 27.908 31.981 0.000 0.000 0.000 0.000 0.000

Problem 372

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

261 261 372 1945 0 0 0 0 0

N.S.

1 1.00 1.43 7.45 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.454 19.310 22.292 0.000 0.000 0.000 0.000 0.000

Problem 373

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

210 210 2296 935 0 0 0 0 0

N.S.

1 1.00 10.93 4.45 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.233 24.139 21.761 0.000 0.000 0.000 0.000 0.000

Problem 374

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

208 208 145 182 0 0 0 0 0

N.S.

1 1.00 0.70 0.88 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.148 10.655 17.421 0.000 0.000 0.000 0.000 0.000

Problem 375

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

348 348 418 1350 0 0 0 0 0

N.S.

1 1.00 1.20 3.88 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.452 18.596 9.039 0.000 0.000 0.000 0.000 0.000

Problem 376

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

435 435 1216 2512 0 0 0 0 0

N.S.

1 1.00 2.80 5.77 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.810 16.790 8.813 0.000 0.000 0.000 0.000 0.000

Problem 377

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

525 525 1569 4001 0 0 0 0 0

N.S.

1 1.00 2.99 7.62 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.312 22.223 11.031 0.000 0.000 0.000 0.000 0.000

Problem 378

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-1) F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

329 329 3460 4228 0 0 0 0 0

N.S.

1 1.00 10.52 12.85 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.854 31.601 30.243 0.000 0.000 0.000 0.000 0.000

Problem 379

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

275 275 467 3048 0 0 0 0 0

N.S.

1 1.00 1.70 11.08 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.550 20.308 23.722 0.000 0.000 0.000 0.000 0.000

Problem 380

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

254 254 468 2190 0 0 0 0 0

N.S.

1 1.00 1.84 8.62 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.398 19.096 18.099 0.000 0.000 0.000 0.000 0.000

Problem 381

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

376 376 1138 2883 0 0 0 0 0

N.S.

1 1.00 3.03 7.67 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.489 15.503 15.124 0.000 0.000 0.000 0.000 0.000

Problem 382

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

427 427 1597 3865 0 0 0 0 0

N.S.

1 1.00 3.74 9.05 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.778 21.329 10.371 0.000 0.000 0.000 0.000 0.000

Problem 383

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

531 531 1962 5390 0 0 0 0 0

N.S.

1 1.00 3.69 10.15 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.259 19.498 10.313 0.000 0.000 0.000 0.000 0.000

Problem 384

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F(-1) F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

630 630 2319 6977 0 0 0 0 0

N.S.

1 1.00 3.68 11.07 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.873 25.396 12.849 0.000 0.000 0.000 0.000 0.000

Problem 385

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-1) F F F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

510 510 4342 9480 0 0 0 0 0

N.S.

1 1.00 8.51 18.59 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.732 32.494 32.115 0.000 0.000 0.000 0.000 0.000

Problem 386

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-1) F F F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

417 417 3920 7755 0 0 0 0 0

N.S.

1 1.00 9.40 18.60 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.046 28.443 27.553 0.000 0.000 0.000 0.000 0.000

Problem 387

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-1) F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

387 387 3514 6307 0 0 0 0 0

N.S.

1 1.00 9.08 16.30 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.764 26.345 20.272 0.000 0.000 0.000 0.000 0.000

Problem 388

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-1) F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

353 353 3225 5260 0 0 0 0 0

N.S.

1 1.00 9.14 14.90 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.728 23.834 14.825 0.000 0.000 0.000 0.000 0.000

Problem 389

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F(-1) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

495 495 1589 7175 0 0 0 0 0

N.S.

1 1.00 3.21 14.49 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.916 17.186 18.081 0.000 0.000 0.000 0.000 0.000

Problem 390

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

582 582 2366 10861 0 0 0 0 0

N.S.

1 1.00 4.07 18.66 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.319 23.841 11.793 0.000 0.000 0.000 0.000 0.000

Problem 391

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F(-1) F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

686 686 821 13148 0 0 0 0 0

N.S.

1 1.00 1.20 19.17 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.265 17.481 11.854 0.000 0.000 0.000 0.000 0.000

Problem 392

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

105 105 248 816 0 0 0 0 0

N.S.

1 1.00 2.36 7.77 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.088 13.897 22.640 0.000 0.000 0.000 0.000 0.000

Problem 393

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 107 211 565 0 0 0 0 0

N.S.

1 1.00 1.97 5.28 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.094 10.919 21.683 0.000 0.000 0.000 0.000 0.000

Problem 394

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

180 180 132 636 0 235 0 0 0

N.S.

1 1.00 0.73 3.53 0.00 1.31 0.00 0.00 0.00

time (sec)

N/A 0.193 2.908 33.519 0.000 0.117 0.000 0.000 0.000

Problem 395

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

143 143 104 401 0 205 0 0 0

N.S.

1 1.00 0.73 2.80 0.00 1.43 0.00 0.00 0.00

time (sec)

N/A 0.176 1.589 24.891 0.000 0.106 0.000 0.000 0.000

Problem 396

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

111 111 84 244 0 153 0 0 0

N.S.

1 1.00 0.76 2.20 0.00 1.38 0.00 0.00 0.00

time (sec)

N/A 0.151 2.264 19.481 0.000 0.105 0.000 0.000 0.000

Problem 397

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

115 115 90 326 0 156 0 0 0

N.S.

1 1.00 0.78 2.83 0.00 1.36 0.00 0.00 0.00

time (sec)

N/A 0.161 1.313 18.983 0.000 0.104 0.000 0.000 0.000

Problem 398

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

148 148 108 371 0 184 0 0 0

N.S.

1 1.00 0.73 2.51 0.00 1.24 0.00 0.00 0.00

time (sec)

N/A 0.186 1.637 19.856 0.000 0.112 0.000 0.000 0.000

Problem 399

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

180 180 125 413 0 203 0 0 0

N.S.

1 1.00 0.69 2.29 0.00 1.13 0.00 0.00 0.00

time (sec)

N/A 0.219 2.241 22.376 0.000 0.116 0.000 0.000 0.000

Problem 400

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

263 263 221 832 0 314 0 0 0

N.S.

1 1.00 0.84 3.16 0.00 1.19 0.00 0.00 0.00

time (sec)

N/A 0.405 6.246 47.658 0.000 0.112 0.000 0.000 0.000

[next] [prev] [prev-tail] [front] [up]